Text
mastodon
Support
·
Imprint
·
AI Transparency
·
RSS
The bruijn Programming Language
2023-04-06 · 2874 words · Marvin Borner
bruijn
lambda calculus
article
Data Structures
in Pure Lambda Calculus
2023-04-07 · 2462 words · Marvin Borner
bruijn
lambda calculus
article
Space-Efficient Binary
Lambda Calculus Encoding
2023-04-24 · 477 words · Marvin Borner
bruijn
lambda calculus
compression
post
Hash-Based Approach to Building Shared
λ
\lambda
λ
-Graphs
2023-05-30 · 981 words · Marvin Borner
lambda calculus
article
Variadic Fixed-Point Combinators
2023-07-08 · 1365 words · Marvin Borner
bruijn
lambda calculus
article
(
n
ω
)
(n\omega)
(
nω
)
vs.
(
ω
n
)
(\omega n)
(
ωn
)
2023-07-28 · 376 words · Marvin Borner
lambda calculus
googology
post
Metaprogramming
and Self-Interpretation
2023-11-11 · 4182 words · Marvin Borner
bruijn
lambda calculus
metaprogramming
article
Unary Combinatory Logic
2023-10-06 · 728 words · Marvin Borner
bruijn
combinatory logic
lambda calculus
joke
post
Lambda Screen
2024-04-08 · 1438 words · Marvin Borner
lambda calculus
fractals
article
Crafting Formulas
2024-08-06 · 4041 words · Marvin Borner
bruijn
lambda calculus
maths
article